<?php
echo DecBin(1000).'<br/>';
echo 0b1;
